منابع مشابه
A pi-calculus based semantics for WS-BPEL
Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations ...
متن کاملA pi - calculus based semantics for WS - BPEL 1 Roberto Lucchi , Manuel Mazzara
4 Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, 5 that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business 6 processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and 7 compen...
متن کاملA Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way
While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS standard widely adopted both in academic and industrial environments — is considered as a touchstone for concre...
متن کاملTowards modelling WS-BPEL using ws-calculus
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard languages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the interactions among web service instances in a network context. We present this language as a process calcul...
متن کاملCOMPUTING SCIENCE A Formal Semantics for the WS-BPEL Recovery Framework The π-Calculus Way
While current studies on Web services composition are mostly focused, from the technical viewpoint, on standards and protocols. This work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) an OASIS standard widely adopted both in academic and industrial environments is considered as a touchstone for concrete com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2007
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2006.05.007